Knihy od autora Armin Biere

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Computer Aided Verification

   Armin Biere, Roderick Bloem | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Armin Biere, David Parker | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
3. 

   Digitaltechnik - Eine praxisnahe Einführung

   Armin Biere, Daniel Kroening, Georg Weissenbacher | Springer, Berlin, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Němčina

   Vazba: Brožovaná

   650 Kč

   Koupit
4. 

   Hardware and Software: Verification and Testing

   Armin Biere, Amir Nahir, Tanja Vos | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1088 Kč

   Koupit
5. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Armin Biere, David Parker | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
6. 

   Theory and Applications of Satisfiability Testing - SAT 2006

   Armin Biere, Carla P. Gomes | Springer, Berlin, 2006

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více